def foo[T(a): ...